Decision Procedures – alle Bücher

Ihre Suche nach "decision procedures" ergab 5 Treffer

Landslide: Susceptibility, Risk Assessment and Sustainability

Advances in Natural and Technological Hazards Research -Band 52

The book illustrates a geospatial and geostatistical approach to data analysis, modeling, risk assessment, and visualization, as well as landslide hazard management in the hilly region. This book investig…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

Artikel merken

In den Warenkorb

Menge ändern

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science -Band 14919

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9 10, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Artikel merken

In den Warenkorb

Menge ändern

Moshe Jarden, Michael D. Fried

Field Arithmetic

Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics -Band 11

This book uses algebraic tools to study the elementary properties of classes of fields and related algorithmic problems. The first part covers foundational material on infinite Galois theory, profinite gr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 251,89*

Artikel merken

In den Warenkorb

Menge ändern

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14739

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Menge ändern

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14740

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Artikel merken

In den Warenkorb

Menge ändern